Философский энциклопедический словарь - тарский альфред (1902—88)
Связанные словари
Тарский альфред (1902—88)
тарский альфред (1902—88)
— польский логик, математик и методолог науки, один из виднейших представителей львовско-варшавской школы; с 1938 в США. Т. принадлежит ряд значительных результатов в теории моделей, определимости, понятий, в разработке проблем разрешимости, различных разделов математической логики и оснований математики. Т.— один из основоположников логической семантики. Значительное место в творчестве Т. занимают проблемы методологии дедуктивных наук, исследования познавательных возможностей и границ применимости формальных методов (аксиоматического метода, формализации и др.) в научном познании. В основополагающей для последующего развития логической семантики и металогике работе “Понятие истины в формализованных языках” (1936) Т. раскрыл специфику содержания и использования понятия истины в формализованных теориях, дал определение этого понятия для большой группы формализованных языков (Истина в формализованных языках). С философско-методологической т. зр: наиболее важный результат, полученный Т. в этой работе,— доказательство внутренней ограниченности выразительных возможностей формализованных теорий (невозможность строго формальными средствами передать все то познавательное содержание, к-рое выражается достаточно богатыми содержательными научными теориями, подвергшимися формализации). Наряду с теоремами Гёделя о неполноте достаточно богатых формальных систем результаты Т. стали важной вехой на пути осознания принципиальной невозможности полной формализации научного знания, способствовали углублению представлений о диалектике взаимосвязи содержательного и формального в познании. В 30-х гг. философские взгляды Т. были близки к неопозитивизму; впоследствии он выступил с критикой формализма и субъективизма в истолковании логики и математики. Осн. соч.: “Введение в логику и методологию дедуктивных наук” (1936, рус. пер. 1948), “Семантическая концепция истины и основания семантики” (1944), “Логика, семантика, метаматематика” (1956), “Истина и доказательство” (1972).
Рейтинг статьи:
Комментарии:
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 2506 | |
2 | 2322 | |
3 | 1991 | |
4 | 1977 | |
5 | 1927 | |
6 | 1830 | |
7 | 1725 | |
8 | 1660 | |
9 | 1641 | |
10 | 1507 | |
11 | 1426 | |
12 | 1390 | |
13 | 1383 | |
14 | 1379 | |
15 | 1251 | |
16 | 1073 | |
17 | 1064 | |
18 | 1060 | |
19 | 1036 | |
20 | 964 |